Integrating this will require updating w.h as well.

@matthew-levan can you opine on Vere64 compatibility? Were there necessary changes to Lagoon and libmath that need to be backported here?

@matthew-levan can you opine on Vere64 compatibility? Were there necessary changes to Lagoon and libmath that need to be backported here?

This looks like mostly Hoon, so it should just work. I'll test this on my 64-bit development branch and report back.

Here are the draft changes to lagoon.c in my 64-bit PR: https://github.com/urbit/vere/pull/715/files#diff-a53faf6ae24b67b856f2b5358f6af68045bdb709e25cd73660c4579304051932

These may have to be backported, but wait until we settle on a name for c3_w_new (our fixed uint32_t type).

@matthew-levan is all of that resolved? I want to merge this in.

@matthew-levan revisiting this one